make :- unix(system(make)),['.tmpc','.tmpl'].
?- unix(system(make)),['.tmpc','.tmpa'] ;

  ['tokio.pl'].
